Concurrent computing - PDFSEARCH.IO - Document Search Engine

Concurrent computing
Results: 9919

#	Item
761	Extracting Guarantees from CHAOS Add to Reading List Source URL: www.oceanstore.org Language: English - Date: 2003-01-29 16:58:35 Distributed data storage Computing File sharing Concurrent computing Distributed computing Peer-to-peer Tapestry Ono Scalability Social peer-to-peer processes Freenet Decentralized object location and routing
762	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
763	Codelets: Linking Interactive Documentation and Example Code in the Editor Stephen Oney Carnegie Mellon University Pittsburgh, PAUSA Add to Reading List Source URL: from.so Language: English - Date: 2012-04-15 07:00:24 Computing Software engineering Computer programming Cross-platform software HTML Concurrent programming languages Procedural programming languages Technical communication Example-Centric Programming Comment Eval Regular expression
764	Microsoft Word - IEEE-CAP.16.docx Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-12-03 17:25:17 Computing Concurrent computing Fault-tolerant computer systems Distributed algorithms Inter-process communication Process theory Virtual synchrony Database management systems Replication Vsync Paxos Consistency model
765	Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:32 Concurrent computing Software bugs Computer memory Software testing Edsger W. Dijkstra Concurrency Code injection Computer security Go Lock Thread Parallel computing
766	Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:33 Parallel computing Compiler optimizations Concurrent computing Concurrency OpenMP Thread Synchronization Optimizing compiler Data-flow analysis Static single assignment form POSIX Threads
767	An SDN-based Framework for Detection of Illegal Rebroadcasting of Channels in P2PTV Add to Reading List Source URL: conferences2.sigcomm.org Language: English - Date: 2014-12-01 17:06:33 Computing Concurrent computing Distributed computing File sharing networks Internet television File sharing Internet broadcasting Distributed algorithms Software-defined networking Peer-to-Peer Assisted Streaming Solution Peer-to-peer Content delivery network
768	In Proceedings of the 17th International Symposium on Distributed Computing. Asymptotically Efficient Approaches to Fault-Tolerance in Peer-to-Peer Networks Kirsten Hildrum and John Kubiatowicz University of California, Add to Reading List Source URL: www.oceanstore.org Language: English - Date: 2003-07-15 19:52:19 Distributed data storage Computing Concurrent computing Distributed computing Tapestry Pastry Chord Routing Tree Kademlia Distributed hash table
769	Scala for TAPL’ers Part 1 Ilya Sergey Scala Intro Objects & Functions Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software engineering Computer programming Object-oriented programming languages Concurrent programming languages Scripting languages Scala Programming languages Xtend Java Kotlin Method chaining

UPDATE